Computer Science Electives

Module	LV Type	CP	LV	Dates	Examination
Advanced Internet Technology	Fach-/Modulprüfung	6	540946
Advanced Network Security	Fach-/Modulprüfung	6	544521
Advanced Network Security	Vorlesung/Übung		539225	Di 08:30-10:00 EA (1270\|109) (×14) Mi 10:30-12:00 H09 (1385\|220) (×14)
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	544584
Communication Systems Engineering	Fach-/Modulprüfung	6	540889		Mi 11.02.2026 14:30-16:00 AH IV (2354\|030) PPS H1 (2315\|101) Fr 27.03.2026 12:00-13:30 PPS H2 (2315\|001)
Communication Systems Engineering	Vorlesung/Übung		536469	Mo 14:30-16:00 AH VI (2356\|051) (×13) Mi 10:30-12:00 AH I (2350\|028) (×12) Do 12:30-14:00 AH I (2350\|028) (×14)
Dynamical Processes on Networks	Fach-/Modulprüfung	6	542473
Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	541500
Erfüllbarkeitsüberprüfung	Vorlesung/Übung		537540	Mi 08:30-10:00 AH IV (2354\|030) (×15) Do 10:30-12:00 AH V (2356\|050) (×15) Fr 12:30-13:15 5056 (2356\|056) (×15)
High-Performance Computing	Fach-/Modulprüfung	6	540959
High-Performance Computing	Vorlesung/Übung		538578	Mo 12:30-14:00 H05 (1385\|105) (×15) Di 12:30-14:00 H05 (1385\|105) (×14)
High-performance Matrix Computations	Fach-/Modulprüfung	6	544969
High-performance Matrix Computations	Vorlesung/Übung		539790
Industrial Network Security	Fach-/Modulprüfung	6	542866
	Vorlesung		539566	Di 10:30-12:00 AH III (2350\|314.1) (×12) Fr 10:30-12:00 AH II (2350\|111) (×15)
	Übung		540425	Fr 12:30-14:00 AH II (2350\|111) (×7)
Infinite Computations and Games	Fach-/Modulprüfung	6	541566
	Vorlesung		537617	Mo 10:30-12:00 5056 (2356\|056) (×14) Di 08:30-10:00 5054 (2356\|054) (×14)
	Übung		537387	Do 10:30-12:00 5056 (2356\|056) (×13)
Introduction to Algorithmic Differentiation	Fach-/Modulprüfung	6	544572		Mi 25.02.2026 12:00-14:00 Großer Hörsaal AM (1420\|210) H01 (1385\|101) Mo 23.03.2026 12:00-13:30 H01 (1385\|101)
Introduction to Algorithmic Differentiation	Vorlesung/Übung		536793	Di 10:30-12:00 AH IV (2354\|030) (×13) Mi 10:30-12:00 AH IV (2354\|030) (×15)
iOS Application Development	Fach-/Modulprüfung	6	543587		Di 10.02.2026 09:00-10:00 B201 (3011\|201) H09 (1385\|220)
iOS Application Development	Vorlesung		537886	Mo 13:00-14:30 Extern (×14) Di 10:00-11:30 Extern (×14)
Linux Kernel Programming	Fach-/Modulprüfung	6	543622
Model Checking	Fach-/Modulprüfung	6	544576		Mo 09.02.2026 09:00-11:00 Großer Hörsaal AM (1420\|210) Grüner Hörsaal AM (Gr) (1420\|001) Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420\|210)
	Vorlesung		537573	Mi 12:30-14:00 AH III (2350\|314.1) (×14) Do 10:30-12:00 AH I (2350\|028) (×14)
	Übung		536600	Fr 14:30-16:00 AH III (2350\|314.1) (×13)
Model-based Systems Engineering	Fach-/Modulprüfung	6	542359
Model-based Systems Engineering	Vorlesung/Übung		539145	Di 10:30-12:00 AH I (2350\|028) (×13) Mi 10:30-12:00 AH III (2350\|314.1) (×14) Do 12:30-14:00 AH II (2350\|111) (×14)
Optimization and Uncertainty	Fach-/Modulprüfung	6	575639
Post-quantum cryptography	Fach-/Modulprüfung	6	543244		Di 03.03.2026 14:00-15:30 P2 (3210\|120) ZuseLab S1 (2315\|203) Do 02.04.2026 11:30-13:00 ZuseLab C4 (2315\|201)
Post-quantum cryptography	Vorlesung/Übung		539191	Di 16:30-18:00 AH IV (2354\|030) (×15) Mi 16:30-18:00 AH I (2350\|028) (×15) Fr 14:30-16:00 AH I (2350\|028) (×15)
Privacy Enhancing Technologies for Data Science	Fach-/Modulprüfung	4	543540
Privacy Enhancing Technologies for Data Science	Fach-/Modulprüfung	4	543783
Probabilistic Programming	Fach-/Modulprüfung	4	541432		Mi 18.02.2026 12:00-14:00 AH IV (2354\|030) Mi 18.03.2026 09:00-11:00 HKW 2 (1132\|303)
	Vorlesung		558579	Mi 16:30-18:00 AH III (2350\|314.1) (×15) Do 08:30-10:00 AH I (2350\|028) (×15)
	Übung		558580	Fr 16:30-18:00 AH I (2350\|028) (×15)
Research Focus Class Industrial Applications for LLM-driven Agentic Systems	Fach-/Modulprüfung	6	574877
	Projekt		574876	Fr 10:00-11:30 Großer B-IT Raum (2356\|053.2) (×1)
Research Focus Class on Communication Systems	Fach-/Modulprüfung	6	544581
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	544543
Stochastic Games	Fach-/Modulprüfung	6	545666
Theorie der Graphen- und Netzwerkoptimierung	Fach-/Modulprüfung	9	542455
	Vorlesung		538915	Di 12:30-14:00 S13 (1385\|213) (×14) Fr 08:30-10:00 SG 13 (1810\|013) (×15)
	Übung		539593	Do 10:30-12:00 Z2 (1420\|303) (×15)
Theorie der Graphen- und Netzwerkoptimierung: Flüsse	Fach-/Modulprüfung	5	543694
	Vorlesung		538915	Di 12:30-14:00 S13 (1385\|213) (×14) Fr 08:30-10:00 SG 13 (1810\|013) (×15)
	Übung		539593	Do 10:30-12:00 Z2 (1420\|303) (×15)
Theorie der Graphen- und Netzwerkoptimierung: Netzwerkdesign und Standortplanung	Fach-/Modulprüfung	5	542456
	Vorlesung		538915	Di 12:30-14:00 S13 (1385\|213) (×14) Fr 08:30-10:00 SG 13 (1810\|013) (×15)
	Übung		539593	Do 10:30-12:00 Z2 (1420\|303) (×15)
Theory of Distributed Systems	Fach-/Modulprüfung	6	575640